Verification of Knowledge Based-Systems for Power System Control Centres

During the last years, electrical utilities began to install intelligent applications in order to assist Control Centres operators. The Verification and Validation (V&V) process intends to assure the reliability of these applications, even under incident conditions. This paper addresses the Validation and Verification of Knowledge-Based Systems (KBS) in general, focussing particularly on the V&V of SPARSE, a KBS used in the Portuguese Transmission Network for operator assistance in incident analysis and power restoration. VERITAS is a verification tool developed to verify SPARSE Knowledge Base. This tool performs knowledge base structural analysis allowing knowledge anomalies detection.